@inproceedings{CapelliSAT26,
  title     = {A canonical generalization of OBDD},
  author    = {Capelli, Florent and Choi, YooJung and Mengel, Stefan and Mu\~{n}oz, Mart\'{i}n and Van den Broeck, Guy},
  booktitle = {Proceedings of the 29th International Conference on Theory and Applications of Satisfiability Testing (SAT)},
  month     = {Jul},
  year      = {2026},
}